home *** CD-ROM | disk | FTP | other *** search
/ Celestin Apprentice 5 / Apprentice-Release5.iso / Source Code / C / Applications / Moscow ML 1.31 / source code / mosml / src / test / utest1.sig < prev    next >
Encoding:
Text File  |  1996-07-03  |  180 b   |  11 lines  |  [TEXT/R*ch]
  1. (* A test signature *)
  2.  
  3. eqtype t;
  4. val tOfint : int -> t;
  5. val intOft : t -> int;
  6. val ** : t * t -> t;
  7. infix 7 **;
  8.  
  9. type 'a t_tagged = t * 'a;
  10. datatype 'a xxx = A of t | B of t * t;
  11.